//]]>
Unhighlight Highlight
Reachability Problems by Abdulla, Parosh Aziz. Publication: . XII, 223 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Pecheur, Charles. Publication: . XIV, 199 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Jain, Sanjay. Publication: . XVIII, 397 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorics on Words by Karhumäki, Juhani. Publication: . X, 263 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Jurgensen, Helmut. Publication: . X, 289 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Konstantinidis, Stavros. Publication: . XIV, 358 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation and Natural Computation by Mauri, Giancarlo. Publication: . XVI, 262 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2013 by Järvisalo, Matti. Publication: . XVI, 437 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Riguzzi, Fabrizio. Publication: . X, 273 p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Béal, Marie-Pierre. Publication: . XIV, 460 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Beyer, Dirk. Publication: . XIV, 321 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Bulatov, Andrei A. Publication: . XII, 445 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Coecke, Bob. Publication: . XX, 363 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computation Structures by Pfenning, Frank. Publication: . XXIV, 451 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XIV, 580 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Its Applications by Lodaya, Kamal. Publication: . X, 259 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Giacobazzi, Roberto. Publication: . XII, 556 p. 123 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Wolff, Burkhart. Publication: . VIII, 249 p. 4 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithmic Learning Theory by Bshouty, Nader H. Publication: . XII, 381 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 Next >>
Languages: 
English |
العربية